graph reduction
https://encyclopedia2.thefreedictionary.com/graph+reduction
https://en.wikibooks.org/w/index.php?title=Haskell/Graph_reduction